computation tree logic中文是什么意思

发音:

中文翻译
造句

计算逻辑树。

computation n. 1.计算，估算。 2.计算法。 3.计算结果，得数 ...
tree n. 1.树〔主要指乔木，也可指较大的灌木〕。 ★玫瑰可 ...
logic n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
journal of logic and computation 逻辑和计算杂志; 逻辑与计算杂志
tree height computation 树顶的计算; 树高的计算; 树形结构计算
computation n. 1.计算，估算。 2.计算法。 3.计算结果，得数。
-logic -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
and logic “与”逻辑
logic n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理性。 3. 威力，压力，强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
logic-and 逻辑“与”
or logic 或逻辑
a tree 树状; 一棵树; 一蔸树
in a tree 在树上
in the tree 在树上（非树本身）
in tree 内树型; 入树
into tree 放在树中
on the tree 长在树上的，如果实一类的。; 在树上(本身生出的); 在树上（果实等）
or tree 或树
s tree 无私奉献的树
tree n. 特里〔姓氏〕。 n. 1.树〔主要指乔木，也可指较大的灌木〕。 ★玫瑰可以称为 bush, 也可以称为 tree. 2.木料，木材；木构件；〔古语〕绞首台；〔the tree〕(钉死耶稣的)十字架；鞋楦。 3.树形(物)，世系图，家系 (＝family tree)；【数学】树(形)；【化学】树状晶体。 a banana tree 香蕉树。 an axle-tree 心棒，轴料。 a boot-tree 靴楦[型]。 a saddle-tree 鞍架。 at the top of the tree 在最高地位。 tree of Buddha 菩提树。 tree of heaven 臭椿。 tree of knowledge (of good and evil) 【圣经】知道善恶的树，智慧之树。 tree of life 生命之树，生命力的源泉【植物；植物学】金钟柏。 up a tree 〔口语〕进退两难，不知所措。 vt. 赶(猎兽等)上树躲避；〔口语〕使处于困境；穷追；把鞋型插入(鞋内)。
a priori computation 演绎计算
abort computation 异常中止计算; 异常终止计算
accuracy in computation 计算准确度
actual computation 实际计算
addre computation 地址计算

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

百科解释

Computation tree logic?(CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is realised. It is used in formal verification of software or hardware artifacts, typically by software applications known as model checkers which determine if a given artifact possesses safety or liveness properties.

详细百科解释

推荐英语阅读

computation tree logic的中文翻译，computation tree logic是什么意思，怎么用汉语翻译computation tree logic，computation tree logic的中文意思，computation tree logic的中文，computation tree logic in Chinese，computation tree logic的中文，computation tree logic怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。

Last modified time:Fri, 15 Aug 2025 00:29:56 GMT